Decision engineering - PDFSEARCH.IO - Document Search Engine

Decision engineering
Results: 1903

#	Item
711	An Experimental Evaluation of Algorithms for Computation of Internal Don’t-Cares in Boolean Networks Alan Mishchenko Department of Electrical and Computer Engineering Portland State University September 28, 2001 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-10-20 03:32:06 Binary decision diagram Boolean algebra Diagrams Model checking Algorithm Circuit Boolean network Digital electronics Design Mathematics Theoretical computer science Applied mathematics
712	What Size Woodstove? Making a decision about what size wood stove you need can be as simple or as complex as you’d like to make it. The main factors that should be considered are (1) space, (2) heat loss, and (3) fuel Add to Reading List Source URL: woodstove.com Language: English - Date: 2014-07-10 16:41:17 Heating ventilating and air conditioning Biomass Building engineering Insulators Thermal protection Wood-burning stove Wood fuel Stove Building insulation Mechanical engineering Energy Heat transfer
713	Symmetry Detection for Large Boolean Functions using Circuit Representation, Simulation, and Satisfiability Jin S. Zhang1 Alan Mishchenko2 Robert Brayton2 Malgorzata Chrzanowska-Jeske1 1 Department of ECE Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-05-08 11:02:36 Electronic engineering Electronic design automation Formal methods Diagrams Symmetry And-inverter graph Binary decision diagram Boolean satisfiability problem Symmetry in mathematics Mathematics Theoretical computer science Boolean algebra
714	Approximate Dynamic Programming with Affine ADDs Scott Sanner William Uther Karina Valdivia Delgado Add to Reading List Source URL: eprints.pascal-network.org Language: English - Date: 2010-02-05 08:00:20 Dynamic programming Equations Mathematical optimization Operations research Optimal control Systems engineering Reinforcement learning Markov decision process Static single assignment form Theoretical computer science Applied mathematics Mathematics
715	BEFORE THE STATE OIL AND GAS BOARD OF ALABAMA PURSUANT TO A DECISION RENDERED DURING A REGULR SESSION OF THE STATE OIL AND GAS BOARD OF ALABAMA ON â -1 ER Add to Reading List Source URL: www.ogb.state.al.us Language: English - Date: 2014-08-12 15:49:39 Oil wells Engineering Completion Separator Casing Petroleum production Petroleum Technology
716	Logic Synthesis for Regular Layout using Satisfiability Marek Perkowski and Alan Mishchenko Department of Electrical and Computer Engineering Portland State University Portland, OR 97207, USA [mperkows, alanmi]@ece.pdx.e Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-05-01 01:40:28 Theoretical computer science Electronic design automation Diagrams Formal methods Lattice theory Binary decision diagram Boolean satisfiability problem Logic synthesis Lattice Abstract algebra Mathematics Boolean algebra
717	Optimization of Multi-Valued Multi-Level Networks M. Gao, J-H. Jiang, Y. Jiang, Y. Li, A. Mishchenko, S. Sinha, T. Villa, and R. Brayton Electrical Engineering and Computer Sciences Dept. University of California, Ber Add to Reading List Source URL: www.bvsrc.org Language: English* - Date: 2004-06-17 16:08:02 Diagrams Model checking Many-valued logic Flip-flop Electronics Mathematics Mathematical logic Electronic engineering Binary decision diagram Boolean algebra
718	Renewing Globalization and Economic Growth in a Post-Crisis World The Future of the G-20 Agenda Edited with an Executive Summary by Alexei Monsarrat and Kiron K. Skinner Foreword by Jared L. Cohon and Frederick Kempe Add to Reading List Source URL: www.itif.org Language: English - Date: 2013-01-11 14:41:59 Academia Year of birth missing Association of American Universities Association of Independent Technological Universities Heinz College Social and Decision Sciences Engineering and Public Policy Tepper School of Business George Loewenstein Carnegie Mellon University Government Mellon family
719	White Paper Building the Mobile Business with a Unified Wireless Network Decision making is happening at Internet speed. Providing access to information in real time has emerged as a new challenge for IT and presents th Add to Reading List Source URL: www.cisco.com Language: English Wireless Cisco Systems Wireless access point Wireless LAN Network security Wireless network Wi-Fi Computer network Cisco Career Certifications Technology Wireless networking Electronic engineering
720	LUTMIN: FPGA Logic Synthesis with MUX-Based and Cascade Realizations Tsutomu Sasao 1 and Alan Mishchenko[removed]Dept. of Computer Science and Electronics, Kyushu Institute of Technology, Iizuka[removed], Japan Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2009-07-09 02:20:06 Boolean algebra Diagrams Field-programmable gate array Binary decision diagram Lookup table Xilinx Multiplexer Artificial neuron Function Computing Mathematics Electronic engineering

UPDATE